int run() {
	int^[3]^ A; //A blijft altijd null
	
	int^[3] B;
	
	int[3] C;
	
	C[0] <- 1;
	C[1] <- 2;
	C[2] <- 3;
	
	B[0] <-- C[0];
	B[1] <-- C[1];
	B[2] <-- C[2];
	
	A <-- B;
	
	write(A[0]);
	write(A[1]);
	write(A[2]);
	
	@ A[0] == B[0] == C[0]
	@ A == B
	
	// TODO: continue here
}
